widget: Queue a resize when setting widget to insensitive.

See 015f22777621008dac136940680dff4f250ca42b for details on why this is
necessary.

diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index b74f9ee5d6dad4f6aa10a814ae2e385cd3469759..0b5f9264a5139140e152dbe0c9806ac46f3d95c4 100644 (file)
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -7600,8 +7600,7 @@ gtk_widget_set_sensitive (GtkWidget *widget,
 
   gtk_widget_propagate_state (widget, &data);
 
-  if (gtk_widget_is_drawable (widget))
-    gtk_widget_queue_draw (widget);
+  gtk_widget_queue_resize (widget);
 
   g_object_notify (G_OBJECT (widget), "sensitive");
 }